Description Logics and Time
نویسنده
چکیده
In this survey paper, we begin by reviewing brief history of Description Logics developed from classical logics, semantic network and frames in demand of knowledge representation. We then introduce the logic language ALC which is the basic form of description logic and some of its possible extensions. The usefulness of description logics for database will be briefly pointed out as well. Finally, we focus on the temporal extensions of ALC, ALCT . The dimension of point-based temporal logics and interval-based temporal logics will be introduced, respectively. And, the decidability and complexity of concept satisfiability problem in ALCT will be briefly discussed.
منابع مشابه
Introducing Temporal Description Logics
Description Logics are formalisms designed for a logical reconstruction of representation tools such as frames, Object-Oriented and semantic data models, semantic networks, type systems, and feature logics. Nowadays, description logics are also considered the most important unifying formalism for the many object-centred representation languages used in areas other than Knowledge Representation....
متن کاملMetric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...
متن کاملGödel Description Logics with General Models
In the last few years, the complexity of reasoning in fuzzy description logics has been studied in depth. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy description logics using the Gödel t-norm. It was recently shown that in the logic G-IALC under witnessed model semantics, all standard reasoning problems ...
متن کاملIntegrating Description Logics and Logics of Motion
There are numerous applications that involve the movement in space and time of complex objects, defined in terms of simpler ones. These applications heavily rely on quantitative spatial and temporal information and typically involve indeterminacy about starting times, ending times, velocities and location of the moving objects. In this paper, we present a logic that combines Description Logics ...
متن کاملTableau Algorithms for E-Connections of Description Logics
For many years, the Modal Logic community has pursued various techniques for robustly combining logics. These methodologies reflect a new direction in Logic applied to Knowledge Representation, namely the direction toward constructing and investigating complex combined logical formalisms out of simpler ones. The E-Connections framework is a novel technique for combining Abstract Description Sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006